disable htmlinfo example which contains non-free files
authorDmitry Shachnev <mitya57@debian.org>
Fri, 11 Dec 2020 08:31:30 +0000 (08:31 +0000)
committerDmitry Shachnev <mitya57@debian.org>
Fri, 11 Dec 2020 08:31:30 +0000 (08:31 +0000)
commit064ca36eb3c50379a92a77eb93457ed55876dbe5
treeef77b2250ff76412aade6fbe78c4ab00874346d7
parent84eec0eb76cad3883a1afb5cdc05405d252dd0c2
disable htmlinfo example which contains non-free files

Forwarded: not-needed
Last-Update: 2014-12-17

Gbp-Pq: Name no_htmlinfo_example.diff
examples/xml/xml.pro